((v3 v9 9) (v9 v11 8) (v6 v8 2) (v3 v6 8) (v10 v9 3) (v7 v8 6) (v5 v9 5) (v8 v1 7) (v4 v1 0) (v10 v11 7) (v1 v9 7) (v1 v10 6) (v3 v8 1) (v4 v3 3) (v10 v8 6) (v2 v4 1) (v8 v9 2) (v8 v2 9) (v7 v4 9) (v5 v6 7) (v1 v3 5) (v11 v5 7) (v5 v3 6) (v1 v5 3) (v10 v2 4) (v3 v7 5) (v5 v4 3) (v11 v1 5) (v6 v9 2) (v11 v7 6))
111
((v8 v6) (v2 v4) (v5 v7) (v5 v9))